On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Dependent types I › Universes, or types of types
jonmsterling.com·3h·
Discuss: Hacker News
🔤Type Theory
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·8h·
Discuss: Hacker News
👑Isabelle
Understanding Tool-Integrated Reasoning
arxiv.org·5h
🔗Constraint Handling
Teaching programming languages
kmjn.org·1d
💻Programming languages
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Implementing Forth in Go and C
eli.thegreenplace.net·6h·
Discuss: Hacker News
🔗Concatenative Programming
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·21h
✅Format Verification
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·16h·
Discuss: DEV
🔲Cellular Automata
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·5h
🧮Theorem Proving
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
AI Teams Contend With Synthetic Data’s Jekyll/Hyde Roles
cacm.acm.org·17h
🔍Vector Forensics
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·19h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
How UIUC is teaching AI in their CS 101 Classes
cs124.org·6h·
Discuss: Hacker News
💻CS
Two Dogmas of Empiricism
en.wikipedia.org·1d·
Discuss: Hacker News
💻Programming languages
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Universal Algorithmic Intelligence
uaiasi.com·9h·
Discuss: Hacker News
🔲Cellular Automata